In

Bisogna dimostrare che e sono divisiori di

Data la definizione di divisibilità ovvero dati , è un divisore di se il resto della divisione di per è uguale a zero. Il resto della divisione tra un qualsiasi numero e è sempre uguale a e quindi è divisore di tutti i numeri, possiamo applicare la stessa definizione ponendo , il resto della divisione di con se stesso darà sempre resto da questo capiamo che è divisore di .